(eq (type-of 3.14f64) type-double)
